Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, ... / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783642026133
Format: Paperback (493 pages) Publisher: Springer Published: 19 Jun 2009
Save for later
Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings: 12833 (Lecture Notes in Computer Science, 12833)
by Fairouz Kamareddine, Claudio Sacerdoti Coen
ISBN 13: 9783030810962
Format: Paperback (269 pages) Publisher: Springer Published: 10 Jul 2021
Functional and Constraint Logic Programming: 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers: 12560 (Lecture Notes in Computer Science, 12560)
by Michael Hanus,Claudio Sacerdoti Coen
ISBN 13: 9783030753320
Format: Paperback (152 pages) Publisher: Springer Published: 06 May 2021